Tallinn - PDFSEARCH.IO - Document Search Engine

Tallinn
Results: 2406

#	Item
981	Microsoft Word - LCQ8 Annex Add to Reading List Source URL: gia.info.gov.hk Language: English - Date: 2013-12-18 05:04:56 Specialty Pae Tallinn
982	AS LHV Group Kontserni majandusaasta aruanne 2005 AS LHV Group Tartu mnt[removed]Tallinn Add to Reading List Source URL: www.lhv.ee Language: Estonian - Date: 2010-12-30 06:00:12
983	PORT OF TALLINN THE BIGGEST PORT ON THE SHORES OF THE BALTIC SEA Add to Reading List Source URL: ec.europa.eu Language: English - Date: 2015-03-09 05:41:52 Kadriorg Kumu Cruise ship Estonia Saint Petersburg Cruiseferries Ships built in Finland Geography of Europe Europe Tallinn
984	ByteCode[removed]Type Systems for Optimizing Stack-based Code Ando Saabas and Tarmo Uustalu1 Institute of Cybernetics, Tallinn University of Technology, Add to Reading List Source URL: set.ee Language: English - Date: 2007-12-06 06:21:07 Stack Subroutine Assembly languages Computer programming Software engineering Computing
985	SOS 2005 Preliminary Version A Compositional Natural Semantics and Hoare Logic for Low-Level Languages Ando Saabas and Tarmo Uustalu 1,2 Institute of Cybernetics at Tallinn University of Technology Add to Reading List Source URL: set.ee Language: English - Date: 2005-11-01 12:39:40 Metalogic Universal algebra Formal languages Structure Interpretation Parity of a permutation Substructure Hoare logic Goto Mathematics Model theory Mathematical logic
986	Microsoft Word - LCQ8 Annex Add to Reading List Source URL: gia.info.gov.hk Language: English - Date: 2013-12-18 05:04:55 Specialty Pae Tallinn
987	A Compositional Natural Semantics and Hoare Logic for Low-Level Languages 1 Ando Saabas 2 and Tarmo Uustalu ∗,2 Institute of Cybernetics at Tallinn University of Technology Akadeemia tee 21, EE[removed]Tallinn, Estonia R Add to Reading List Source URL: set.ee Language: English - Date: 2007-12-06 06:22:33 Logic Mathematical logic Structure Universal algebra Interpretation Hoare logic Parity of a permutation Goto Denotational semantics Mathematics Model theory Formal languages
988	Visual Tool for Generative Programming Pavel Grigorenko Institute of Cybernetics Tallinn University of Technology Akadeemia tee[removed]Tallinn, Estonia Add to Reading List Source URL: set.ee Language: English - Date: 2005-11-02 06:28:39 Object-oriented programming Cross-platform software Programming paradigms Metaclass Visual programming languages Class Structural synthesis of programs Modeling language Domain-specific language Computing Software engineering Computer programming
989	Compositional Type Systems for Stack-Based Low-Level Languages Ando Saabas Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology Add to Reading List Source URL: set.ee Language: English - Date: 2006-10-30 06:58:01 Philosophy of language Philosophy of mind Semantics Entailment Zeta Symbol Logic Interpretation Model theory
990	Program and Proof Optimizations with Type Systems 1 Ando Saabas and Tarmo Uustalu ∗ Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, EE[removed]Tallinn, Estonia Received 17 March 2007; acce Add to Reading List Source URL: set.ee Language: English - Date: 2008-09-11 10:49:45 Normal distribution Hoare logic Program logic Model theory

UPDATE